Project description: Foundations and tools for building well-behaved systems
نویسندگان
چکیده
We aim at doing basic research on the theoretical foundations on how to build reliable, safe, and fast software systems, and developing tools that make the construction and maintenance of such systems easier. The theoretical questions taken up are related to algorithms, exception safety, and memory management, among other things, and the practical implementation calls for tools to test that components are well-behaved. Our goals are: 1) To study the foundation of a program library in order to gain new knowledge and thereby optimize existing components. 2) To develop software tools which make construction of reliable components easier and are of general interest. 3) To build a program library, the development of which can be used as a reality exercise when training software developers.
منابع مشابه
Future study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملA Systems Dynamics Model for Project Management systems of Project-Based Organization
It is obvious that the success of a project-based organization is dependent on its projects. A variety of tools such as the project excellence model, project management maturity models, the earned value method, have been developed in this regard, but there are still delays in projects because the projects have dynamic nature with non-linear relationships and feedback processes during the projec...
متن کاملTransatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems
This document summarizes early results and experiences of the collaborations between the European project ”Dependable Embedded Components and Systems” (DECOS) (IST-511764) and the NSF ITR Project titled ”Foundations of Hybrid and Embedded Software and Systems”. The collaboration has started with a visit of a researcher from Vienna University of Technology at Vanderbilt University in summer 2005...
متن کاملReal-Time Building Information Modeling (BIM) Synchronization Using Radio Frequency Identification Technology and Cloud Computing System
The online observation of a construction site and processes bears significant advantage to all business sector. BIM is the combination of a 3D model of the project and a project-planning program which improves the project planning model by up to 6D (Adding Time, Cost and Material Information dimensions to the model). RFID technology is an appropriate information synchronization tool between the...
متن کاملFuzzy Method in Feasibility Study of Using Biomass Solar Hybrid Source and Photovoltaic System for Designing a Research Center Building in Smart Grid of Hamedan
In this paper, the electrical consumption of a Research Center Building is derived of the bills, Then with defining of fuzzy Bus Thermal Coefficient objective function for heating, the amount of available heat selling to Research Center Building consumer that is produced by Biomass Solar Hybrid Source is calculated. With the capacity determination of Biomass Solar Hybrid Source to provide Therm...
متن کامل